Benjamin Pierce - PDFSEARCH.IO - Document Search Engine

Benjamin Pierce
Results: 75

#	Item
1	Boomerang: Resourceful Lenses for String Data Aaron Bohannon J. Nathan Foster Benjamin C. Pierce Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-07-07 07:39:39
2	Quotient Lenses J. Nathan Foster Alexandre Pilkiewicz Benjamin C. Pierce Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-07-07 07:39:20
3	Programming Languages Mentoring Workshop PLMW 2014 Amal Ahmed Benjamin Pierce Add to Reading List Source URL: plmw2014.inria.fr - Date: 2014-01-27 06:28:28
4	‫מושגים בשפות תכנות‬ ‫תרגיל ‪3‬‬ ‫להגשה עד ‪‬‬ ‫הנחיות כלליות‪:‬‬ ‫● "הספר" מתייחס ל‪ Benjamin C. Pierce, Types and Programmi Add to Reading List Source URL: www.cs.tau.ac.il - Date: 2016-12-11 16:38:38
5	Lambda Calculus Oded Padon & Mooly Sagiv (original slides by Kathleen Fisher, John Mitchell, Shachar Itzhaky, S. Tanimoto ) Benjamin Pierce Types and Programming Languages Add to Reading List Source URL: www.cs.tau.ac.il - Date: 2016-12-09 07:15:11
6	Engineering Formal Metatheory Brian Aydemir Arthur Chargu´eraud Benjamin C. Pierce Add to Reading List Source URL: www.cis.upenn.edu - Date: 2008-05-19 22:45:19
7	“Types are the leaven of computer programming: they make it digestible.” - R. Milner Types à la Milner Benjamin C. Pierce Add to Reading List Source URL: events.inf.ed.ac.uk - Date: 2012-10-10 03:52:06
8	The Science of Deep Specification Andrew W. Appel, Benjamin Pierce, Stephanie Weirich, Steve Zdancewic, Zhong Shao, Adam Chlipala Princeton Add to Reading List Source URL: www.cis.upenn.edu - Date: 2016-05-11 15:48:19
9	Mysteries of Dropbox Property-Based Testing of a Distributed Synchronization Service John Hughes, Benjamin Pierce, Thomas Arts, Ulf Norell Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2016-04-13 12:13:18 Software testing Software Computing QuickCheck Dropbox Random testing Test harness Test case
10	Mysteries of Dropbox Property-Based Testing of a Distributed Synchronization Service John Hughes∗† , Benjamin C. Pierce‡ , Thomas Arts∗ , Ulf Norell∗† , ∗ † Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2016-04-13 12:13:19 Software Computing Free software Data synchronization Cloud storage Statistical tests Cloud applications Online backup services OwnCloud Dropbox Synchronization Distributed computing

UPDATE